$\forall$$T$:Type. $T$ $\subseteq\rho$ $\mathbb{Z}$ $\Rightarrow$ ($\forall$$x$:$T$, $L$:$T$ List. sorted($x$.$L$) $\Leftrightarrow$ sorted($L$) \& ($\forall$$z$$\in$$L$. $x$$\leq$$z$))